翻訳と辞書 |
Maltsev variety : ウィキペディア英語版 | Quotient algebra In mathematics, a quotient algebra, (where ''algebra'' is used in the sense of universal algebra), also called a factor algebra, is obtained by partitioning the elements of an algebra into equivalence classes given by a congruence relation, that is an equivalence relation that is additionally ''compatible'' with all the operations of the algebra, in the formal sense described below. == Compatible relation == Let ''A'' be a set (of the elements of an algebra ), and let ''E'' be an equivalence relation on the set ''A''. The relation ''E'' is said to be ''compatible'' with (or have the ''substitution property'' with respect to) an ''n''-ary operation ''f'' if for all whenever implies . An equivalence relation compatible with all the operations of an algebra is called a congruence.
抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)』 ■ウィキペディアで「Quotient algebra」の詳細全文を読む
スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース |
Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.
|
|